Hedging Renewable Energy Investments with Bitcoin Mining

Authors: Bastian-Pinto, C., Araujo, F. VdS., Brandão, L. E. T., Gomes, L. L.

Abstract Renewable energy sources such as wind power are increasing their share of the world energy matrix. Nonetheless, wind farms projects are subject to variations in output due to climate conditions and to price volatility if they choose to anticipate construction to sell their energy in the short term markets. In order to create incentives for early investment, we show that wind farm investors can hedge electricity price risk by simultaneously investing in a cryptocurrency mining facility that uses electricity as input to produce newly minted Bitcoins to sell in the market. Given that electricity and Bitcoin prices are mostly uncorrelated, the ability to switch outputs between these two assets depending on their relative prices, allows the firm to maximize revenues and minimize losses. We develop a numerical application where we apply the real options approach to model a wind farm that chooses to anticipate construction in order to sell energy in the short term market for up to four years prior to entering into its long term energy sales commitment. Given that this power plant also invests in a Bitcoin mining facility, whenever the price of the Bitcoins created is higher than the market price of electric power, the firm will choose to operate the mining facility. Otherwise, it will sell its energy to the market. The short-term energy price and Bitcoin price/mining-difficulty ratio are modeled as two distinct stochastic diffusion processes. The results show that the option to switch outputs significantly increases the generator’s revenue while simultaneously decreasing the risk.

Keywords: real options, switch option, renewable energy production, cryptocurrency mining, bit-spread

This work presents the calculations done for the article referenced above. The following calculations use parameters for the diffusion of stochastic variables that have been defined in the paper. All the code was run in RStudio using the version of the software below.

Software version

R.version
               _                           
platform       x86_64-w64-mingw32          
arch           x86_64                      
os             mingw32                     
system         x86_64, mingw32             
status                                     
major          4                           
minor          0.1                         
year           2020                        
month          06                          
day            06                          
svn rev        78648                       
language       R                           
version.string R version 4.0.1 (2020-06-06)
nickname       See Things Now              

Setting of the environment

# Sets the number of series used in the MonteCarlo Simulation
NSeries <- 50000 

# Used to set BTC production cap and calculate investment
numberBTCMiners <- 1750 

# Global Chart Configurations
# Used to resize plots
require(repr) 
Loading required package: repr
package 㤼㸱repr㤼㸲 was built under R version 4.0.2Registered S3 methods overwritten by 'htmltools':
  method               from         
  print.html           tools:rstudio
  print.shiny.tag      tools:rstudio
  print.shiny.tag.list tools:rstudio
options(repr.plot.width=8, repr.plot.height=3) 
# Used for triangular distribution
require(extraDistr)
Loading required package: extraDistr
package 㤼㸱extraDistr㤼㸲 was built under R version 4.0.2
# Used to print tables inside the R Notebook
require(knitr)
Loading required package: knitr

Local functions definition

The first set of local functions are used to create the diffusion of the stochastic variables and their deterministic counterparts.

## Diffusion Functions ##

PLD_Diffusion <- function(start, len, n, RevertingMean, Volatility, Eta, Max) {
    # Diffusion1 <- RevertingMean*exp(-Volatility^2/(4*Eta))
    Diffusion2 <- exp(-Eta)
    Diffusion3 <- (log(RevertingMean)-Volatility^2/(2*Eta))*(1-Diffusion2)
    Diffusion4 <- Volatility*sqrt((1-Diffusion2^2)/(2*Eta))
    
    x = matrix(NA, nrow=(len+1), ncol=n)
    x[1, ] = start
    
    for(i in 2:(len+1)){
        x[i, ] = exp(log(x[i-1, ])*Diffusion2+Diffusion3+Diffusion4*rnorm(n,0,1))
        x[i, x[i, ] > Max] = Max
    }
    return(x)
}

PLD_Deterministic <- function(start, len, RevertingMean, Volatility, Eta, Max) {
    Diffusion1 <- log(RevertingMean)-Volatility^2/(2*Eta)
    Diffusion2 <- Volatility^2/(4*Eta)
    
    x = rep(NA, len)
    
    for(i in 1:len){
        x[i] = min(Max, exp(log(start)*exp(-Eta*i)+Diffusion1*(1-exp(-Eta*i))+Diffusion2*(1-exp(-2*Eta*i))))
    }
    return(c(start, x))
}

BTC_Diffusion <- function(start, len, n, mu, sigma) {
    x = matrix(NA, nrow=(len+1), ncol=n)
    x[1, ] = start
    
    for(i in 2:(len+1)){
        x[i, ] = x[i-1, ]*exp(rnorm(n, mu-sigma^2/2, sigma))
    }
    return(x)
}

BTC_Deterministic <- function(start, len, mu, sigma) {
    x = rep(NA, (len+1))
    
    if (length(start) > 1) start <- mean(start)
    x[1] = start
    
    for(i in 2:(len+1)){
        x[i] = x[i-1]*exp(mu)
    }
    return(x)
}

Then we will define functions to obtain the cash flow, NPV and an auxiliary function to select the grater results between two return series at each point.

## Project Cash Flow Functions ##

P_and_L <- function(revenue, variableCosts, fixedCost, taxesPerc, depreciation, taxOnRevenue) {
    if (taxOnRevenue) {
        PandL <- revenue*(1-taxesPerc)-variableCosts-fixedCost
    } else {
        PandL <- (revenue-variableCosts-fixedCost-depreciation)*(1-taxesPerc)+depreciation
    }
    return(PandL)
}

npv <- function(cf, r) {
    len <- length(cf)
    r.vec <- rep(NA, len)
    for (i in 1:len){
        r.vec[i] <- (1+r)^(i-1)
    }
    return(sum(cf / r.vec))
}

select_greater <- function(input1, input2) {
    # The best results from each scenario are chosen a posteriori 
    # This is a simplified version of the agents having an instant and more granular choice
    
    results <- input1
    index.vec <- which(input2 > input1)
    results[index.vec] <- input2[index.vec]
    return(results)
}

The next function is simply a mask to printing numbers onscreen with no decimal places and a thousands separator.

## Display results with comma separator and with an specific number of decimals

format_text <- function(text, decPlaces) { 
    format(round(as.numeric(text), decPlaces), nsmall=decPlaces, big.mark=",") 
}

And finally we create a function to format a table of results, and a function to plot a histogram with many adjustable parameters.

## Auxiliary Functions ##

create_results_table <- function(NPV, rowname, BaseNPV = NULL) {
    
    meanNPV = mean(NPV)
    
    nNegNPV = sum(NPV < 0)
    nElements = length(NPV)
    PercNeg = nNegNPV/nElements
    
    if (!is.null(BaseNPV)) {
        compareMeans = meanNPV/mean(BaseNPV) - 1
        comparePerc = PercNeg - sum(BaseNPV < 0)/nElements
        compare.vec = format_text(c(compareMeans, comparePerc), 2) 
    } else {
        compare.vec = rep("-", 2)
    }
    
    x.vec = c(format_text(meanNPV, 0), format_text(PercNeg, 2))
    x.vec = c(x.vec, compare.vec)
        
    x.matrix <- matrix(x.vec, nrow=1)
    colnames(x.matrix) <- c("Mean of NPV", "Perc. Neg.", "NPV/Base", "Perc. - Base")
    rownames(x.matrix) <- rowname
    
    return(x.matrix)
}

create_results_hist <- function(NPV, breaksLen, plotXLim, textXAdj, textYAdj, subTextAdj, lineAdj, plotWidth, plotHeight) {
    options(repr.plot.width=plotWidth, repr.plot.height=plotHeight)
    
    NPV = NPV/1000000
    meanNPV = mean(NPV)
    minNPV = min(NPV)
    maxNPV = max(NPV)
    percNeg <- round(as.numeric(sum(NPV < 0)/length(NPV)*100), 0)
    
    breaks.vec <- seq(minNPV, maxNPV+breaksLen, by=breaksLen)
    
    quant95 <- quantile(NPV, 0.95)
    text.pos.x <- c(-textXAdj, quant95/2, quant95 + textXAdj)
    
    text.labels <- c(paste(percNeg, "%", sep=""), paste(95 - percNeg, "%", sep=""), "5%")
    text.labels <- paste("<", text.labels, ">")
    text.colors <- c("black", "red", "black")
    
    hist.obj <- hist(NPV, breaks=breaks.vec, border="darkred", col="red", xlab="NPV in Millions", main="", xlim=plotXLim, freq=FALSE)
    abline(v=c(0, quant95), lty=2)

    textYPos <- max(hist.obj$density) + textYAdj
    text(meanNPV, subTextAdj, labels=paste("| Mean:", round(meanNPV, 2)), adj=0, cex=0.8)
    text(quant95, subTextAdj, labels=paste(" Q95:", round(quant95, 2)), adj=0, cex=0.8)

    text(text.pos.x, textYPos, labels=text.labels, col=text.colors, cex=0.8)
    text(-textXAdj, textYPos - lineAdj, labels="Min:", cex=0.8)
    text(quant95+textXAdj, textYPos - lineAdj, labels="Max:", cex=0.8)
    text(-textXAdj, textYPos - 2 * lineAdj, labels=round(minNPV, 2), cex=0.8)
    text(quant95+textXAdj, textYPos - 2 * lineAdj, labels=round(maxNPV, 2), cex=0.8)
    
    return(hist.obj)
}

Local variables definition

Set data for Wind Power generation

# Based on (Lira and Moita Neto, 2017)
wind.velocity = c(2.3,2.6,2.4,2.1,2.1,2.95,3.5,3.6,3.8,3.1,3,2.5) 

# Given by the technology used
windToPower <- 1871.208247 

power.production <- wind.velocity * windToPower

## Chart ##
barplot(power.production, col="blue", xlab="Average Monthly Output", ylab="MWh", names.arg=month.abb, ylim=c(0,8000))

Constants for PLD Stochastic variable estimation

## PLD Data ##

# As defined by ONS + expected future increase adjustment
PLDMax <- 150 

# Defined in paper
PLDStart <- 75 
PLDEta <- 0.08038 
PLDRevertingMean <- 86.30
PLDVolatility <- 0.557

Constants for BTC Stochastic variable estimation, along with production costs and power consumption

## BTC Data ##

# Defined in paper
BTCMu <- -0.0366 
BTCSigma <- 0.2228

## BTC Mining Data ## 

# Antminer S17 Pro 
# Used to calculate consumption costs
BTCMinerHash <- 56*10^12 # Hashes per second
BTCMinerPower <- 2212 # Watts 
# Used to calculate investment
BTCMinerCost <- 1900 # USD

## BTC Stochastic Process
# Parameters of triangular distribution
BTCTriangle <- c(5000, 7000, 9000) 

# Used for Triangular start
# as of 2019-11-19
BTCInitialDifficulty <- 12720005267390.5 

Variables for cash flow and NPV

## Project Cash Flow Data ##

# BRL / USD exchange rate
BRLUSDEx <- 4 # R$/US$

# Constants for Wind Farm - based on (Fontanet, 2012)
InitialInvestment <- 9379943/BRLUSDEx 
FixedCosts <- 52757/BRLUSDEx 

# Defined in paper
VariableCosts <- 0.14 # % 
WACC <- 0.08 # Annual
RF <- 0.05 # Annual

# Refrigeration costs for BTC Mining in percentage of variable costs
Refrig <- 0.85 

# Simplified tax regime 
Taxes <- 0.25*0.08+0.09*0.12 

Stochastic processes

PLD Diffusion

## PLD Series ##

# Matrix of all series
PLD.matrix <- PLD_Diffusion(PLDStart, 72, NSeries, PLDRevertingMean, PLDVolatility, PLDEta, PLDMax)

# Means for each period from all simulations
PLD.period.means <- apply(PLD.matrix, 1, mean) 

# Vector of deterministic series
PLD.deterministic.series <- PLD_Deterministic(PLDStart, 72, PLDRevertingMean, PLDVolatility, PLDEta, PLDMax)

## Chart ##
matplot(1:73, cbind(PLD.matrix[, 1000], PLD.period.means, PLD.deterministic.series), type='l', xlab='Periods', ylab='series')
legend("top", inset=.02, legend=c("Random Series","MonteCarlo Mean","Deterministic Series"),col=c("black", "red", "green"), lty=1:3, cex=0.6, horiz=TRUE, bty="n")

BTC Diffusion

## BTC Starting point ##

# BTC Consumption - used for Deterministic and Triangular Start Types
BTCConsumptionFactor <- (2^32*BTCMinerPower)/(BTCMinerHash*3600*12.5*1000) # kWh/BTC

# Triangular distribution for BTC Start
BTCStart <- rtriang(NSeries, BTCTriangle[1], BTCTriangle[3], BTCTriangle[2]) / (BTCConsumptionFactor * BTCInitialDifficulty)

# If Triangular Type then plot distribution
hist(BTCStart, border="darkred", col="red", xlab="BTC Price/Difficulty Starting Point", main="", freq=FALSE)

## BTC Series and Charts ##

# Vector of BTC deterministic series for the first mining interval
BTC.1.deterministic.series <- c(rep(0, 22), BTC_Deterministic(BTCStart, 26, BTCMu, BTCSigma), rep(0, 24))

# Vector of BTC deterministic series for the final mining interval
BTC.2.deterministic.series <- c(rep(0, 22), BTC_Deterministic(BTCStart, 26, BTCMu, BTCSigma), BTC_Deterministic(BTCStart, 26, BTCMu, BTCSigma)[-(1:3)])

# Plot both deterministic series
plot(BTC.1.deterministic.series, type="l", xlab="Period", ylab="Price/Difficulty")

plot(BTC.2.deterministic.series, type="l", xlab="Period", ylab="Price/Difficulty")


# Create a matrix for stochastic series for the first mining interval
BTC.1.matrix <- BTC_Diffusion(BTCStart, 26, NSeries, BTCMu, BTCSigma)
BTC.1.matrix <- rbind(matrix(0, nrow=22, ncol=NSeries), BTC.1.matrix, matrix(0, nrow=24, ncol=NSeries))

# Obtain the average for each period
BTC.1.period.means <- apply(BTC.1.matrix, 1, mean)

# Plot one series of the stochastic matrix along the deterministic series and the vector of averages
matplot(1:73, cbind(BTC.1.matrix[, 2], BTC.1.period.means, BTC.1.deterministic.series), type='l', xlab='Periods', ylab='series')
legend("top", inset=.02, legend=c("Random Series","MonteCarlo Mean","Deterministic Series"),col=c("black", "red", "green"), lty=1:3, cex=0.6, horiz=TRUE, bty="n")


# Create a matrix for stochastic series for the first mining interval
BTC.2.matrix <- BTC_Diffusion(BTCStart, 26, NSeries, BTCMu, BTCSigma)
BTC.2.matrix <- BTC.2.matrix[-c(1:3), ]
BTC.2.matrix <- rbind(BTC.1.matrix[1:49, ], BTC.2.matrix)

# Obtain the average for each period
BTC.2.period.means <- apply(BTC.2.matrix, 1, mean) 

# Plot one series of the stochastic matrix along the deterministic series and the vector of averages
matplot(1:73, cbind(BTC.2.matrix[, 2], BTC.2.period.means, BTC.2.deterministic.series), type='l', xlab='Periods', ylab='series')
legend("top", inset=.02, legend=c("Random Series","MonteCarlo Mean","Deterministic Series"),col=c("black", "red", "green"), lty=1:3, cex=0.6, horiz=TRUE, bty="n")

Revenue and Cash Flow

Auxiliary variables and calculations

# Create a long vector of power production
production.series <- c(NA, rep(power.production, 6))

# Monetary results of producing energy and selling in PLD
PLD.output <- PLD.matrix[26:73, ] * production.series[26:73]

# Set BTC production cap
BTCMax <- (numberBTCMiners*BTCMinerPower/1000)/Refrig 

# Auxiliary variables for cap on BTC production
capped.production.series <- production.series
capped.production.series[production.series > BTCMax] <- BTCMax

# Monetary results of producing energy, generating BTC and selling in spot prices for the first interval
BTC.1.output <- BTC.1.matrix[26:49, ] * capped.production.series[26:49] * Refrig * 1000
BTC.1.output <- rbind(BTC.1.output, PLD.output[25:48, ])

# Monetary results of producing energy, generating BTC and selling in spot prices for the final interval
BTC.2.output <- BTC.2.matrix[26:73, ] * capped.production.series[26:73] * Refrig * 1000

# Electricity that has not been used for BTC mining due to production cap can be sold at PLD
extra.production.series <- production.series - capped.production.series
extra.output.2 <- PLD.matrix[26:73, ] * extra.production.series[26:73]
extra.output.1 <- rbind(extra.output.2[1:24, ], matrix(0, nrow=24, ncol=NSeries))
BTC.1.output <- BTC.1.output + extra.output.1
BTC.2.output <- BTC.2.output + extra.output.2

Project Cash Flow - without investment costs

## Cash Flow Results ##

PLD.cashflow <- P_and_L(PLD.output, PLD.output*VariableCosts, FixedCosts, Taxes, 0 , TRUE)
PLD.cashflow <- rbind(matrix(0, nrow=25, ncol=ncol(PLD.cashflow)), PLD.cashflow)

BTC.1.cashflow <- P_and_L(BTC.1.output, PLD.output*VariableCosts, FixedCosts, Taxes, 0, TRUE)
BTC.1.cashflow <- rbind(matrix(0, nrow=25, ncol=ncol(BTC.1.cashflow)), BTC.1.cashflow)
BTC.1.cashflow <- select_greater(PLD.cashflow, BTC.1.cashflow)

BTC.2.cashflow <- P_and_L(BTC.2.output, PLD.output*VariableCosts, FixedCosts, Taxes, 0, TRUE)
BTC.2.cashflow <- rbind(matrix(0, nrow=25, ncol=ncol(BTC.2.cashflow)), BTC.2.cashflow)
BTC.2.cashflow <- select_greater(PLD.cashflow, BTC.2.cashflow)

PLD.mean.cashflow <- apply(PLD.cashflow, 1, mean)
BTC.1.mean.cashflow <- apply(BTC.1.cashflow, 1, mean)
BTC.2.mean.cashflow <- apply(BTC.2.cashflow, 1, mean)

Cashflow charts

# Select one specific series to be plotted
i = 4

matplot(1:73, cbind(PLD.cashflow[, i], BTC.1.cashflow[, i], BTC.2.cashflow[, i]), type='l', xlab='Periods', ylab='series')
legend("topleft", inset=.1, legend=c("PLD","BTC2","BTC2+2"),col=c("black", "red", "green"), lty=1:3, cex=0.6, horiz=TRUE, bty="n", title=paste("MonteCarlo Series",i))

# Plot averages
matplot(1:73, cbind(PLD.mean.cashflow, BTC.1.mean.cashflow, BTC.2.mean.cashflow), type='l', xlab='Periods', ylab='series')
legend("topleft", inset=.08, legend=c("PLD","BTC2","BTC2+2"),col=c("black", "red", "green"), lty=1:3, cex=0.6, horiz=TRUE, bty="n", title="MonteCarlo Averages")

Project NPV

## Project NPV for each scenario ##

# Calculate monthly rate
RFMonthly <- (1+RF)^(0.0833333333333333)-1
WACCMonthly <- (1+WACC)^(0.0833333333333333)-1

# Investment for BTC mining in both first and final interval
BTCInvestment.1 <- numberBTCMiners*BTCMinerCost*((1+RFMonthly)/(1+WACCMonthly))^22
BTCInvestment.2 <- numberBTCMiners*BTCMinerCost*((1+RFMonthly)/(1+WACCMonthly))^46

# Duplicate data set to allow for stage debugging - may cost memory
NPV.PLD.cashflow <- PLD.cashflow
# Insert investment in cash flow
NPV.PLD.cashflow[1, ] <- NPV.PLD.cashflow[1, ]-InitialInvestment
# Obtain NPV
NPV.PLD <- apply(NPV.PLD.cashflow, 2, npv, r=RFMonthly)

# Duplicate data set to allow for stage debugging - may cost memory
NPV.BTC.1.cashflow <- BTC.1.cashflow
# Insert investments in cash flow
NPV.BTC.1.cashflow[1, ] <- NPV.BTC.1.cashflow[1, ]-InitialInvestment
NPV.BTC.1.cashflow[23, ] <- NPV.BTC.1.cashflow[23, ]-BTCInvestment.1
# Obtain NPV
NPV.BTC.1 <- apply(NPV.BTC.1.cashflow, 2, npv, r=RFMonthly)

# Duplicate data set to allow for stage debugging - may cost memory
NPV.BTC.2.cashflow <- BTC.2.cashflow
# Insert investments in cash flow
NPV.BTC.2.cashflow[1, ] <- NPV.BTC.2.cashflow[1, ]-InitialInvestment
NPV.BTC.2.cashflow[23, ] <- NPV.BTC.2.cashflow[23, ]-BTCInvestment.1
NPV.BTC.2.cashflow[47, ] <- NPV.BTC.2.cashflow[47, ]-BTCInvestment.2
# Obtain NPV
NPV.BTC.2 <- apply(NPV.BTC.2.cashflow, 2, npv, r=RFMonthly)

Displaying Results

Base Scenario Results

results.matrix.PLD = create_results_table(NPV.PLD, "Base")
kable(results.matrix.PLD)
Mean of NPV Perc. Neg. NPV/Base Perc. - Base
Base 1,504,157 0.38 - -

## Chart ##
PLD.hist <- create_results_hist(NPV.PLD, 0.625, c(-10,30), 3.5, 0.002, -0.0036, 0.008, 8, 6)

First Scenario Results

results.matrix.BTC.1 = create_results_table(NPV.BTC.1, "2 Years", NPV.PLD)
kable(results.matrix.BTC.1)
Mean of NPV Perc. Neg. NPV/Base Perc. - Base
2 Years 3,685,293 0.24 1.45 -0.14
## Chart ##
BTC.1.hist <- create_results_hist(NPV.BTC.1, 0.625, c(-10,30), 3.5, 0.002, -0.0022, 0.004, 8, 6)

Second Scenario Results

results.matrix.BTC.2 = create_results_table(NPV.BTC.2, "2+2 Years", NPV.PLD)
kable(results.matrix.BTC.2)
Mean of NPV Perc. Neg. NPV/Base Perc. - Base
2+2 Years 5,806,887 0.15 2.86 -0.23

## Chart ##
BTC.2.hist <- create_results_hist(NPV.BTC.2, 0.625, c(-10,30), 3.5, 0.002, -0.0017, 0.004, 8, 6)

Aggregated Results

kable(rbind(results.matrix.PLD, results.matrix.BTC.1, results.matrix.BTC.2), caption="Table of Results")
Table of Results
Mean of NPV Perc. Neg. NPV/Base Perc. - Base
Base 1,504,157 0.38 - -
2 Years 3,685,293 0.24 1.45 -0.14
2+2 Years 5,806,887 0.15 2.86 -0.23
LS0tDQp0aXRsZTogIk51bWVyaWNhbCBBcHBsaWNhdGlvbiINCm91dHB1dDogaHRtbF9ub3RlYm9vaw0KLS0tDQoNCiMjICBIZWRnaW5nIFJlbmV3YWJsZSBFbmVyZ3kgSW52ZXN0bWVudHMgd2l0aCBCaXRjb2luIE1pbmluZw0KDQpBdXRob3JzOiBCYXN0aWFuLVBpbnRvLCBDLiwgQXJhdWpvLCBGLiBWZFMuLCBCcmFuZMOjbywgTC4gRS4gVC4sIEdvbWVzLCBMLiBMLg0KDQpBYnN0cmFjdCBSZW5ld2FibGUgZW5lcmd5IHNvdXJjZXMgc3VjaCBhcyB3aW5kIHBvd2VyIGFyZSBpbmNyZWFzaW5nIHRoZWlyIHNoYXJlIG9mIHRoZSB3b3JsZCBlbmVyZ3kgbWF0cml4LiBOb25ldGhlbGVzcywgd2luZCBmYXJtcyBwcm9qZWN0cyBhcmUgc3ViamVjdCB0byB2YXJpYXRpb25zIGluIG91dHB1dCBkdWUgdG8gY2xpbWF0ZSBjb25kaXRpb25zIGFuZCB0byBwcmljZSB2b2xhdGlsaXR5IGlmIHRoZXkgY2hvb3NlIHRvIGFudGljaXBhdGUgY29uc3RydWN0aW9uIHRvIHNlbGwgdGhlaXIgZW5lcmd5IGluIHRoZSBzaG9ydCB0ZXJtIG1hcmtldHMuIEluIG9yZGVyIHRvIGNyZWF0ZSBpbmNlbnRpdmVzIGZvciBlYXJseSBpbnZlc3RtZW50LCB3ZSBzaG93IHRoYXQgd2luZCBmYXJtIGludmVzdG9ycyBjYW4gaGVkZ2UgZWxlY3RyaWNpdHkgcHJpY2UgcmlzayBieSBzaW11bHRhbmVvdXNseSBpbnZlc3RpbmcgaW4gYSBjcnlwdG9jdXJyZW5jeSBtaW5pbmcgZmFjaWxpdHkgdGhhdCB1c2VzIGVsZWN0cmljaXR5IGFzIGlucHV0IHRvIHByb2R1Y2UgbmV3bHkgbWludGVkIEJpdGNvaW5zIHRvIHNlbGwgaW4gdGhlIG1hcmtldC4gR2l2ZW4gdGhhdCBlbGVjdHJpY2l0eSBhbmQgQml0Y29pbiBwcmljZXMgYXJlIG1vc3RseSB1bmNvcnJlbGF0ZWQsIHRoZSBhYmlsaXR5IHRvIHN3aXRjaCBvdXRwdXRzIGJldHdlZW4gdGhlc2UgdHdvIGFzc2V0cyBkZXBlbmRpbmcgb24gdGhlaXIgcmVsYXRpdmUgcHJpY2VzLCBhbGxvd3MgdGhlIGZpcm0gdG8gbWF4aW1pemUgcmV2ZW51ZXMgYW5kIG1pbmltaXplIGxvc3Nlcy4gV2UgZGV2ZWxvcCBhIG51bWVyaWNhbCBhcHBsaWNhdGlvbiB3aGVyZSB3ZSBhcHBseSB0aGUgcmVhbCBvcHRpb25zIGFwcHJvYWNoIHRvIG1vZGVsIGEgd2luZCBmYXJtIHRoYXQgY2hvb3NlcyB0byBhbnRpY2lwYXRlIGNvbnN0cnVjdGlvbiBpbiBvcmRlciB0byBzZWxsIGVuZXJneSBpbiB0aGUgc2hvcnQgdGVybSBtYXJrZXQgZm9yIHVwIHRvIGZvdXIgeWVhcnMgcHJpb3IgdG8gZW50ZXJpbmcgaW50byBpdHMgbG9uZyB0ZXJtIGVuZXJneSBzYWxlcyBjb21taXRtZW50LiBHaXZlbiB0aGF0IHRoaXMgcG93ZXIgcGxhbnQgYWxzbyBpbnZlc3RzIGluIGEgQml0Y29pbiBtaW5pbmcgZmFjaWxpdHksIHdoZW5ldmVyIHRoZSBwcmljZSBvZiB0aGUgQml0Y29pbnMgY3JlYXRlZCBpcyBoaWdoZXIgdGhhbiB0aGUgbWFya2V0IHByaWNlIG9mIGVsZWN0cmljIHBvd2VyLCB0aGUgZmlybSB3aWxsIGNob29zZSB0byBvcGVyYXRlIHRoZSBtaW5pbmcgZmFjaWxpdHkuIE90aGVyd2lzZSwgaXQgd2lsbCBzZWxsIGl0cyBlbmVyZ3kgdG8gdGhlIG1hcmtldC4gVGhlIHNob3J0LXRlcm0gZW5lcmd5IHByaWNlIGFuZCBCaXRjb2luIHByaWNlL21pbmluZy1kaWZmaWN1bHR5IHJhdGlvIGFyZSBtb2RlbGVkIGFzIHR3byBkaXN0aW5jdCBzdG9jaGFzdGljIGRpZmZ1c2lvbiBwcm9jZXNzZXMuIFRoZSByZXN1bHRzIHNob3cgdGhhdCB0aGUgb3B0aW9uIHRvIHN3aXRjaCBvdXRwdXRzIHNpZ25pZmljYW50bHkgaW5jcmVhc2VzIHRoZSBnZW5lcmF0b3LigJlzIHJldmVudWUgd2hpbGUgc2ltdWx0YW5lb3VzbHkgZGVjcmVhc2luZyB0aGUgcmlzay4NCg0KS2V5d29yZHM6IHJlYWwgb3B0aW9ucywgc3dpdGNoIG9wdGlvbiwgcmVuZXdhYmxlIGVuZXJneSBwcm9kdWN0aW9uLCBjcnlwdG9jdXJyZW5jeSBtaW5pbmcsIGJpdC1zcHJlYWQNCg0KVGhpcyB3b3JrIHByZXNlbnRzIHRoZSBjYWxjdWxhdGlvbnMgZG9uZSBmb3IgdGhlIGFydGljbGUgcmVmZXJlbmNlZCBhYm92ZS4gVGhlIGZvbGxvd2luZyBjYWxjdWxhdGlvbnMgdXNlIHBhcmFtZXRlcnMgZm9yIHRoZSBkaWZmdXNpb24gb2Ygc3RvY2hhc3RpYyB2YXJpYWJsZXMgdGhhdCBoYXZlIGJlZW4gZGVmaW5lZCBpbiB0aGUgcGFwZXIuIEFsbCB0aGUgY29kZSB3YXMgcnVuIGluIFJTdHVkaW8gdXNpbmcgdGhlIHZlcnNpb24gb2YgdGhlIHNvZnR3YXJlIGJlbG93Lg0KDQojIyMgU29mdHdhcmUgdmVyc2lvbg0KDQpgYGB7cn0NClIudmVyc2lvbg0KYGBgDQoNCiMjIyBTZXR0aW5nIG9mIHRoZSBlbnZpcm9ubWVudA0KDQpgYGB7cn0NCiMgU2V0cyB0aGUgbnVtYmVyIG9mIHNlcmllcyB1c2VkIGluIHRoZSBNb250ZUNhcmxvIFNpbXVsYXRpb24NCk5TZXJpZXMgPC0gNTAwMDAgDQoNCiMgVXNlZCB0byBzZXQgQlRDIHByb2R1Y3Rpb24gY2FwIGFuZCBjYWxjdWxhdGUgaW52ZXN0bWVudA0KbnVtYmVyQlRDTWluZXJzIDwtIDE3NTAgDQoNCiMgR2xvYmFsIENoYXJ0IENvbmZpZ3VyYXRpb25zDQojIFVzZWQgdG8gcmVzaXplIHBsb3RzDQpyZXF1aXJlKHJlcHIpIA0Kb3B0aW9ucyhyZXByLnBsb3Qud2lkdGg9OCwgcmVwci5wbG90LmhlaWdodD0zKSANCiMgVXNlZCBmb3IgdHJpYW5ndWxhciBkaXN0cmlidXRpb24NCnJlcXVpcmUoZXh0cmFEaXN0cikNCiMgVXNlZCB0byBwcmludCB0YWJsZXMgaW5zaWRlIHRoZSBSIE5vdGVib29rDQpyZXF1aXJlKGtuaXRyKQ0KYGBgDQoNCg0KIyMjIExvY2FsIGZ1bmN0aW9ucyBkZWZpbml0aW9uDQoNClRoZSBmaXJzdCBzZXQgb2YgbG9jYWwgZnVuY3Rpb25zIGFyZSB1c2VkIHRvIGNyZWF0ZSB0aGUgZGlmZnVzaW9uIG9mIHRoZSBzdG9jaGFzdGljIHZhcmlhYmxlcyBhbmQgdGhlaXIgZGV0ZXJtaW5pc3RpYyBjb3VudGVycGFydHMuDQoNCmBgYHtyfQ0KIyMgRGlmZnVzaW9uIEZ1bmN0aW9ucyAjIw0KDQpQTERfRGlmZnVzaW9uIDwtIGZ1bmN0aW9uKHN0YXJ0LCBsZW4sIG4sIFJldmVydGluZ01lYW4sIFZvbGF0aWxpdHksIEV0YSwgTWF4KSB7DQogICAgIyBEaWZmdXNpb24xIDwtIFJldmVydGluZ01lYW4qZXhwKC1Wb2xhdGlsaXR5XjIvKDQqRXRhKSkNCiAgICBEaWZmdXNpb24yIDwtIGV4cCgtRXRhKQ0KICAgIERpZmZ1c2lvbjMgPC0gKGxvZyhSZXZlcnRpbmdNZWFuKS1Wb2xhdGlsaXR5XjIvKDIqRXRhKSkqKDEtRGlmZnVzaW9uMikNCiAgICBEaWZmdXNpb240IDwtIFZvbGF0aWxpdHkqc3FydCgoMS1EaWZmdXNpb24yXjIpLygyKkV0YSkpDQogICAgDQogICAgeCA9IG1hdHJpeChOQSwgbnJvdz0obGVuKzEpLCBuY29sPW4pDQogICAgeFsxLCBdID0gc3RhcnQNCiAgICANCiAgICBmb3IoaSBpbiAyOihsZW4rMSkpew0KICAgICAgICB4W2ksIF0gPSBleHAobG9nKHhbaS0xLCBdKSpEaWZmdXNpb24yK0RpZmZ1c2lvbjMrRGlmZnVzaW9uNCpybm9ybShuLDAsMSkpDQogICAgICAgIHhbaSwgeFtpLCBdID4gTWF4XSA9IE1heA0KICAgIH0NCiAgICByZXR1cm4oeCkNCn0NCg0KUExEX0RldGVybWluaXN0aWMgPC0gZnVuY3Rpb24oc3RhcnQsIGxlbiwgUmV2ZXJ0aW5nTWVhbiwgVm9sYXRpbGl0eSwgRXRhLCBNYXgpIHsNCiAgICBEaWZmdXNpb24xIDwtIGxvZyhSZXZlcnRpbmdNZWFuKS1Wb2xhdGlsaXR5XjIvKDIqRXRhKQ0KICAgIERpZmZ1c2lvbjIgPC0gVm9sYXRpbGl0eV4yLyg0KkV0YSkNCiAgICANCiAgICB4ID0gcmVwKE5BLCBsZW4pDQogICAgDQogICAgZm9yKGkgaW4gMTpsZW4pew0KICAgICAgICB4W2ldID0gbWluKE1heCwgZXhwKGxvZyhzdGFydCkqZXhwKC1FdGEqaSkrRGlmZnVzaW9uMSooMS1leHAoLUV0YSppKSkrRGlmZnVzaW9uMiooMS1leHAoLTIqRXRhKmkpKSkpDQogICAgfQ0KICAgIHJldHVybihjKHN0YXJ0LCB4KSkNCn0NCg0KQlRDX0RpZmZ1c2lvbiA8LSBmdW5jdGlvbihzdGFydCwgbGVuLCBuLCBtdSwgc2lnbWEpIHsNCiAgICB4ID0gbWF0cml4KE5BLCBucm93PShsZW4rMSksIG5jb2w9bikNCiAgICB4WzEsIF0gPSBzdGFydA0KICAgIA0KICAgIGZvcihpIGluIDI6KGxlbisxKSl7DQogICAgICAgIHhbaSwgXSA9IHhbaS0xLCBdKmV4cChybm9ybShuLCBtdS1zaWdtYV4yLzIsIHNpZ21hKSkNCiAgICB9DQogICAgcmV0dXJuKHgpDQp9DQoNCkJUQ19EZXRlcm1pbmlzdGljIDwtIGZ1bmN0aW9uKHN0YXJ0LCBsZW4sIG11LCBzaWdtYSkgew0KICAgIHggPSByZXAoTkEsIChsZW4rMSkpDQogICAgDQogICAgaWYgKGxlbmd0aChzdGFydCkgPiAxKSBzdGFydCA8LSBtZWFuKHN0YXJ0KQ0KICAgIHhbMV0gPSBzdGFydA0KICAgIA0KICAgIGZvcihpIGluIDI6KGxlbisxKSl7DQogICAgICAgIHhbaV0gPSB4W2ktMV0qZXhwKG11KQ0KICAgIH0NCiAgICByZXR1cm4oeCkNCn0NCg0KYGBgDQoNClRoZW4gd2Ugd2lsbCBkZWZpbmUgZnVuY3Rpb25zIHRvIG9idGFpbiB0aGUgY2FzaCBmbG93LCBOUFYgYW5kIGFuIGF1eGlsaWFyeSBmdW5jdGlvbiB0byBzZWxlY3QgdGhlIGdyYXRlciByZXN1bHRzIGJldHdlZW4gdHdvIHJldHVybiBzZXJpZXMgYXQgZWFjaCBwb2ludC4NCg0KYGBge3J9DQojIyBQcm9qZWN0IENhc2ggRmxvdyBGdW5jdGlvbnMgIyMNCg0KUF9hbmRfTCA8LSBmdW5jdGlvbihyZXZlbnVlLCB2YXJpYWJsZUNvc3RzLCBmaXhlZENvc3QsIHRheGVzUGVyYywgZGVwcmVjaWF0aW9uLCB0YXhPblJldmVudWUpIHsNCiAgICBpZiAodGF4T25SZXZlbnVlKSB7DQogICAgICAgIFBhbmRMIDwtIHJldmVudWUqKDEtdGF4ZXNQZXJjKS12YXJpYWJsZUNvc3RzLWZpeGVkQ29zdA0KICAgIH0gZWxzZSB7DQogICAgICAgIFBhbmRMIDwtIChyZXZlbnVlLXZhcmlhYmxlQ29zdHMtZml4ZWRDb3N0LWRlcHJlY2lhdGlvbikqKDEtdGF4ZXNQZXJjKStkZXByZWNpYXRpb24NCiAgICB9DQogICAgcmV0dXJuKFBhbmRMKQ0KfQ0KDQpucHYgPC0gZnVuY3Rpb24oY2YsIHIpIHsNCiAgICBsZW4gPC0gbGVuZ3RoKGNmKQ0KICAgIHIudmVjIDwtIHJlcChOQSwgbGVuKQ0KICAgIGZvciAoaSBpbiAxOmxlbil7DQogICAgICAgIHIudmVjW2ldIDwtICgxK3IpXihpLTEpDQogICAgfQ0KICAgIHJldHVybihzdW0oY2YgLyByLnZlYykpDQp9DQoNCnNlbGVjdF9ncmVhdGVyIDwtIGZ1bmN0aW9uKGlucHV0MSwgaW5wdXQyKSB7DQogICAgIyBUaGUgYmVzdCByZXN1bHRzIGZyb20gZWFjaCBzY2VuYXJpbyBhcmUgY2hvc2VuIGEgcG9zdGVyaW9yaSANCiAgICAjIFRoaXMgaXMgYSBzaW1wbGlmaWVkIHZlcnNpb24gb2YgdGhlIGFnZW50cyBoYXZpbmcgYW4gaW5zdGFudCBhbmQgbW9yZSBncmFudWxhciBjaG9pY2UNCiAgICANCiAgICByZXN1bHRzIDwtIGlucHV0MQ0KICAgIGluZGV4LnZlYyA8LSB3aGljaChpbnB1dDIgPiBpbnB1dDEpDQogICAgcmVzdWx0c1tpbmRleC52ZWNdIDwtIGlucHV0MltpbmRleC52ZWNdDQogICAgcmV0dXJuKHJlc3VsdHMpDQp9DQpgYGANCg0KVGhlIG5leHQgZnVuY3Rpb24gaXMgc2ltcGx5IGEgbWFzayB0byBwcmludGluZyBudW1iZXJzIG9uc2NyZWVuIHdpdGggbm8gZGVjaW1hbCBwbGFjZXMgYW5kIGEgdGhvdXNhbmRzIHNlcGFyYXRvci4NCg0KYGBge3J9DQojIyBEaXNwbGF5IHJlc3VsdHMgd2l0aCBjb21tYSBzZXBhcmF0b3IgYW5kIHdpdGggYW4gc3BlY2lmaWMgbnVtYmVyIG9mIGRlY2ltYWxzDQoNCmZvcm1hdF90ZXh0IDwtIGZ1bmN0aW9uKHRleHQsIGRlY1BsYWNlcykgeyANCiAgICBmb3JtYXQocm91bmQoYXMubnVtZXJpYyh0ZXh0KSwgZGVjUGxhY2VzKSwgbnNtYWxsPWRlY1BsYWNlcywgYmlnLm1hcms9IiwiKSANCn0NCmBgYA0KDQpBbmQgZmluYWxseSB3ZSBjcmVhdGUgYSBmdW5jdGlvbiB0byBmb3JtYXQgYSB0YWJsZSBvZiByZXN1bHRzLCBhbmQgYSBmdW5jdGlvbiB0byBwbG90IGEgaGlzdG9ncmFtIHdpdGggbWFueSBhZGp1c3RhYmxlIHBhcmFtZXRlcnMuDQoNCmBgYHtyfQ0KIyMgQXV4aWxpYXJ5IEZ1bmN0aW9ucyAjIw0KDQpjcmVhdGVfcmVzdWx0c190YWJsZSA8LSBmdW5jdGlvbihOUFYsIHJvd25hbWUsIEJhc2VOUFYgPSBOVUxMKSB7DQogICAgDQogICAgbWVhbk5QViA9IG1lYW4oTlBWKQ0KICAgIA0KICAgIG5OZWdOUFYgPSBzdW0oTlBWIDwgMCkNCiAgICBuRWxlbWVudHMgPSBsZW5ndGgoTlBWKQ0KICAgIFBlcmNOZWcgPSBuTmVnTlBWL25FbGVtZW50cw0KICAgIA0KICAgIGlmICghaXMubnVsbChCYXNlTlBWKSkgew0KICAgICAgICBjb21wYXJlTWVhbnMgPSBtZWFuTlBWL21lYW4oQmFzZU5QVikgLSAxDQogICAgICAgIGNvbXBhcmVQZXJjID0gUGVyY05lZyAtIHN1bShCYXNlTlBWIDwgMCkvbkVsZW1lbnRzDQogICAgICAgIGNvbXBhcmUudmVjID0gZm9ybWF0X3RleHQoYyhjb21wYXJlTWVhbnMsIGNvbXBhcmVQZXJjKSwgMikgDQogICAgfSBlbHNlIHsNCiAgICAgICAgY29tcGFyZS52ZWMgPSByZXAoIi0iLCAyKQ0KICAgIH0NCiAgICANCiAgICB4LnZlYyA9IGMoZm9ybWF0X3RleHQobWVhbk5QViwgMCksIGZvcm1hdF90ZXh0KFBlcmNOZWcsIDIpKQ0KICAgIHgudmVjID0gYyh4LnZlYywgY29tcGFyZS52ZWMpDQogICAgICAgIA0KICAgIHgubWF0cml4IDwtIG1hdHJpeCh4LnZlYywgbnJvdz0xKQ0KICAgIGNvbG5hbWVzKHgubWF0cml4KSA8LSBjKCJNZWFuIG9mIE5QViIsICJQZXJjLiBOZWcuIiwgIk5QVi9CYXNlIiwgIlBlcmMuIC0gQmFzZSIpDQogICAgcm93bmFtZXMoeC5tYXRyaXgpIDwtIHJvd25hbWUNCiAgICANCiAgICByZXR1cm4oeC5tYXRyaXgpDQp9DQoNCmNyZWF0ZV9yZXN1bHRzX2hpc3QgPC0gZnVuY3Rpb24oTlBWLCBicmVha3NMZW4sIHBsb3RYTGltLCB0ZXh0WEFkaiwgdGV4dFlBZGosIHN1YlRleHRBZGosIGxpbmVBZGosIHBsb3RXaWR0aCwgcGxvdEhlaWdodCkgew0KICAgIG9wdGlvbnMocmVwci5wbG90LndpZHRoPXBsb3RXaWR0aCwgcmVwci5wbG90LmhlaWdodD1wbG90SGVpZ2h0KQ0KICAgIA0KICAgIE5QViA9IE5QVi8xMDAwMDAwDQogICAgbWVhbk5QViA9IG1lYW4oTlBWKQ0KICAgIG1pbk5QViA9IG1pbihOUFYpDQogICAgbWF4TlBWID0gbWF4KE5QVikNCiAgICBwZXJjTmVnIDwtIHJvdW5kKGFzLm51bWVyaWMoc3VtKE5QViA8IDApL2xlbmd0aChOUFYpKjEwMCksIDApDQogICAgDQogICAgYnJlYWtzLnZlYyA8LSBzZXEobWluTlBWLCBtYXhOUFYrYnJlYWtzTGVuLCBieT1icmVha3NMZW4pDQogICAgDQogICAgcXVhbnQ5NSA8LSBxdWFudGlsZShOUFYsIDAuOTUpDQogICAgdGV4dC5wb3MueCA8LSBjKC10ZXh0WEFkaiwgcXVhbnQ5NS8yLCBxdWFudDk1ICsgdGV4dFhBZGopDQogICAgDQogICAgdGV4dC5sYWJlbHMgPC0gYyhwYXN0ZShwZXJjTmVnLCAiJSIsIHNlcD0iIiksIHBhc3RlKDk1IC0gcGVyY05lZywgIiUiLCBzZXA9IiIpLCAiNSUiKQ0KICAgIHRleHQubGFiZWxzIDwtIHBhc3RlKCI8IiwgdGV4dC5sYWJlbHMsICI+IikNCiAgICB0ZXh0LmNvbG9ycyA8LSBjKCJibGFjayIsICJyZWQiLCAiYmxhY2siKQ0KICAgIA0KICAgIGhpc3Qub2JqIDwtIGhpc3QoTlBWLCBicmVha3M9YnJlYWtzLnZlYywgYm9yZGVyPSJkYXJrcmVkIiwgY29sPSJyZWQiLCB4bGFiPSJOUFYgaW4gTWlsbGlvbnMiLCBtYWluPSIiLCB4bGltPXBsb3RYTGltLCBmcmVxPUZBTFNFKQ0KICAgIGFibGluZSh2PWMoMCwgcXVhbnQ5NSksIGx0eT0yKQ0KDQogICAgdGV4dFlQb3MgPC0gbWF4KGhpc3Qub2JqJGRlbnNpdHkpICsgdGV4dFlBZGoNCiAgICB0ZXh0KG1lYW5OUFYsIHN1YlRleHRBZGosIGxhYmVscz1wYXN0ZSgifCBNZWFuOiIsIHJvdW5kKG1lYW5OUFYsIDIpKSwgYWRqPTAsIGNleD0wLjgpDQogICAgdGV4dChxdWFudDk1LCBzdWJUZXh0QWRqLCBsYWJlbHM9cGFzdGUoIiBROTU6Iiwgcm91bmQocXVhbnQ5NSwgMikpLCBhZGo9MCwgY2V4PTAuOCkNCg0KICAgIHRleHQodGV4dC5wb3MueCwgdGV4dFlQb3MsIGxhYmVscz10ZXh0LmxhYmVscywgY29sPXRleHQuY29sb3JzLCBjZXg9MC44KQ0KICAgIHRleHQoLXRleHRYQWRqLCB0ZXh0WVBvcyAtIGxpbmVBZGosIGxhYmVscz0iTWluOiIsIGNleD0wLjgpDQogICAgdGV4dChxdWFudDk1K3RleHRYQWRqLCB0ZXh0WVBvcyAtIGxpbmVBZGosIGxhYmVscz0iTWF4OiIsIGNleD0wLjgpDQogICAgdGV4dCgtdGV4dFhBZGosIHRleHRZUG9zIC0gMiAqIGxpbmVBZGosIGxhYmVscz1yb3VuZChtaW5OUFYsIDIpLCBjZXg9MC44KQ0KICAgIHRleHQocXVhbnQ5NSt0ZXh0WEFkaiwgdGV4dFlQb3MgLSAyICogbGluZUFkaiwgbGFiZWxzPXJvdW5kKG1heE5QViwgMiksIGNleD0wLjgpDQogICAgDQogICAgcmV0dXJuKGhpc3Qub2JqKQ0KfQ0KYGBgDQoNCiMjIyBMb2NhbCB2YXJpYWJsZXMgZGVmaW5pdGlvbg0KDQojIyMjIFNldCBkYXRhIGZvciBXaW5kIFBvd2VyIGdlbmVyYXRpb24NCmBgYHtyfQ0KIyBCYXNlZCBvbiAoTGlyYSBhbmQgTW9pdGEgTmV0bywgMjAxNykNCndpbmQudmVsb2NpdHkgPSBjKDIuMywyLjYsMi40LDIuMSwyLjEsMi45NSwzLjUsMy42LDMuOCwzLjEsMywyLjUpIA0KDQojIEdpdmVuIGJ5IHRoZSB0ZWNobm9sb2d5IHVzZWQNCndpbmRUb1Bvd2VyIDwtIDE4NzEuMjA4MjQ3IA0KDQpwb3dlci5wcm9kdWN0aW9uIDwtIHdpbmQudmVsb2NpdHkgKiB3aW5kVG9Qb3dlcg0KDQojIyBDaGFydCAjIw0KYmFycGxvdChwb3dlci5wcm9kdWN0aW9uLCBjb2w9ImJsdWUiLCB4bGFiPSJBdmVyYWdlIE1vbnRobHkgT3V0cHV0IiwgeWxhYj0iTVdoIiwgbmFtZXMuYXJnPW1vbnRoLmFiYiwgeWxpbT1jKDAsODAwMCkpDQpgYGANCg0KIyMjIyBDb25zdGFudHMgZm9yIFBMRCBTdG9jaGFzdGljIHZhcmlhYmxlIGVzdGltYXRpb24NCg0KYGBge3J9DQojIyBQTEQgRGF0YSAjIw0KDQojIEFzIGRlZmluZWQgYnkgT05TICsgZXhwZWN0ZWQgZnV0dXJlIGluY3JlYXNlIGFkanVzdG1lbnQNClBMRE1heCA8LSAxNTAgDQoNCiMgRGVmaW5lZCBpbiBwYXBlcg0KUExEU3RhcnQgPC0gNzUgDQpQTERFdGEgPC0gMC4wODAzOCANClBMRFJldmVydGluZ01lYW4gPC0gODYuMzANClBMRFZvbGF0aWxpdHkgPC0gMC41NTcNCmBgYA0KDQojIyMjIENvbnN0YW50cyBmb3IgQlRDIFN0b2NoYXN0aWMgdmFyaWFibGUgZXN0aW1hdGlvbiwgYWxvbmcgd2l0aCBwcm9kdWN0aW9uIGNvc3RzIGFuZCBwb3dlciBjb25zdW1wdGlvbg0KDQpgYGB7cn0NCiMjIEJUQyBEYXRhICMjDQoNCiMgRGVmaW5lZCBpbiBwYXBlcg0KQlRDTXUgPC0gLTAuMDM2NiANCkJUQ1NpZ21hIDwtIDAuMjIyOA0KDQojIyBCVEMgTWluaW5nIERhdGEgIyMgDQoNCiMgQW50bWluZXIgUzE3IFBybyANCiMgVXNlZCB0byBjYWxjdWxhdGUgY29uc3VtcHRpb24gY29zdHMNCkJUQ01pbmVySGFzaCA8LSA1NioxMF4xMiAjIEhhc2hlcyBwZXIgc2Vjb25kDQpCVENNaW5lclBvd2VyIDwtIDIyMTIgIyBXYXR0cyANCiMgVXNlZCB0byBjYWxjdWxhdGUgaW52ZXN0bWVudA0KQlRDTWluZXJDb3N0IDwtIDE5MDAgIyBVU0QNCg0KIyMgQlRDIFN0b2NoYXN0aWMgUHJvY2Vzcw0KIyBQYXJhbWV0ZXJzIG9mIHRyaWFuZ3VsYXIgZGlzdHJpYnV0aW9uDQpCVENUcmlhbmdsZSA8LSBjKDUwMDAsIDcwMDAsIDkwMDApIA0KDQojIFVzZWQgZm9yIFRyaWFuZ3VsYXIgc3RhcnQNCiMgYXMgb2YgMjAxOS0xMS0xOQ0KQlRDSW5pdGlhbERpZmZpY3VsdHkgPC0gMTI3MjAwMDUyNjczOTAuNSANCmBgYA0KDQojIyMjIFZhcmlhYmxlcyBmb3IgY2FzaCBmbG93IGFuZCBOUFYNCg0KYGBge3J9DQojIyBQcm9qZWN0IENhc2ggRmxvdyBEYXRhICMjDQoNCiMgQlJMIC8gVVNEIGV4Y2hhbmdlIHJhdGUNCkJSTFVTREV4IDwtIDQgIyBSJC9VUyQNCg0KIyBDb25zdGFudHMgZm9yIFdpbmQgRmFybSAtIGJhc2VkIG9uIChGb250YW5ldCwgMjAxMikNCkluaXRpYWxJbnZlc3RtZW50IDwtIDkzNzk5NDMvQlJMVVNERXggDQpGaXhlZENvc3RzIDwtIDUyNzU3L0JSTFVTREV4IA0KDQojIERlZmluZWQgaW4gcGFwZXINClZhcmlhYmxlQ29zdHMgPC0gMC4xNCAjICUgDQpXQUNDIDwtIDAuMDggIyBBbm51YWwNClJGIDwtIDAuMDUgIyBBbm51YWwNCg0KIyBSZWZyaWdlcmF0aW9uIGNvc3RzIGZvciBCVEMgTWluaW5nIGluIHBlcmNlbnRhZ2Ugb2YgdmFyaWFibGUgY29zdHMNClJlZnJpZyA8LSAwLjg1IA0KDQojIFNpbXBsaWZpZWQgdGF4IHJlZ2ltZSANClRheGVzIDwtIDAuMjUqMC4wOCswLjA5KjAuMTIgDQpgYGANCg0KDQojIyMgU3RvY2hhc3RpYyBwcm9jZXNzZXMNCg0KIyMjIyBQTEQgRGlmZnVzaW9uDQoNCmBgYHtyfQ0KIyMgUExEIFNlcmllcyAjIw0KDQojIE1hdHJpeCBvZiBhbGwgc2VyaWVzDQpQTEQubWF0cml4IDwtIFBMRF9EaWZmdXNpb24oUExEU3RhcnQsIDcyLCBOU2VyaWVzLCBQTERSZXZlcnRpbmdNZWFuLCBQTERWb2xhdGlsaXR5LCBQTERFdGEsIFBMRE1heCkNCg0KIyBNZWFucyBmb3IgZWFjaCBwZXJpb2QgZnJvbSBhbGwgc2ltdWxhdGlvbnMNClBMRC5wZXJpb2QubWVhbnMgPC0gYXBwbHkoUExELm1hdHJpeCwgMSwgbWVhbikgDQoNCiMgVmVjdG9yIG9mIGRldGVybWluaXN0aWMgc2VyaWVzDQpQTEQuZGV0ZXJtaW5pc3RpYy5zZXJpZXMgPC0gUExEX0RldGVybWluaXN0aWMoUExEU3RhcnQsIDcyLCBQTERSZXZlcnRpbmdNZWFuLCBQTERWb2xhdGlsaXR5LCBQTERFdGEsIFBMRE1heCkNCg0KIyMgQ2hhcnQgIyMNCm1hdHBsb3QoMTo3MywgY2JpbmQoUExELm1hdHJpeFssIDEwMDBdLCBQTEQucGVyaW9kLm1lYW5zLCBQTEQuZGV0ZXJtaW5pc3RpYy5zZXJpZXMpLCB0eXBlPSdsJywgeGxhYj0nUGVyaW9kcycsIHlsYWI9J3NlcmllcycpDQpsZWdlbmQoInRvcCIsIGluc2V0PS4wMiwgbGVnZW5kPWMoIlJhbmRvbSBTZXJpZXMiLCJNb250ZUNhcmxvIE1lYW4iLCJEZXRlcm1pbmlzdGljIFNlcmllcyIpLGNvbD1jKCJibGFjayIsICJyZWQiLCAiZ3JlZW4iKSwgbHR5PTE6MywgY2V4PTAuNiwgaG9yaXo9VFJVRSwgYnR5PSJuIikNCmBgYA0KDQojIyMjIEJUQyBEaWZmdXNpb24gDQoNCmBgYHtyfQ0KIyMgQlRDIFN0YXJ0aW5nIHBvaW50ICMjDQoNCiMgQlRDIENvbnN1bXB0aW9uIC0gdXNlZCBmb3IgRGV0ZXJtaW5pc3RpYyBhbmQgVHJpYW5ndWxhciBTdGFydCBUeXBlcw0KQlRDQ29uc3VtcHRpb25GYWN0b3IgPC0gKDJeMzIqQlRDTWluZXJQb3dlcikvKEJUQ01pbmVySGFzaCozNjAwKjEyLjUqMTAwMCkgIyBrV2gvQlRDDQoNCiMgVHJpYW5ndWxhciBkaXN0cmlidXRpb24gZm9yIEJUQyBTdGFydA0KQlRDU3RhcnQgPC0gcnRyaWFuZyhOU2VyaWVzLCBCVENUcmlhbmdsZVsxXSwgQlRDVHJpYW5nbGVbM10sIEJUQ1RyaWFuZ2xlWzJdKSAvIChCVENDb25zdW1wdGlvbkZhY3RvciAqIEJUQ0luaXRpYWxEaWZmaWN1bHR5KQ0KDQojIElmIFRyaWFuZ3VsYXIgVHlwZSB0aGVuIHBsb3QgZGlzdHJpYnV0aW9uDQpoaXN0KEJUQ1N0YXJ0LCBib3JkZXI9ImRhcmtyZWQiLCBjb2w9InJlZCIsIHhsYWI9IkJUQyBQcmljZS9EaWZmaWN1bHR5IFN0YXJ0aW5nIFBvaW50IiwgbWFpbj0iIiwgZnJlcT1GQUxTRSkNCmBgYA0KDQpgYGB7cn0NCiMjIEJUQyBTZXJpZXMgYW5kIENoYXJ0cyAjIw0KDQojIFZlY3RvciBvZiBCVEMgZGV0ZXJtaW5pc3RpYyBzZXJpZXMgZm9yIHRoZSBmaXJzdCBtaW5pbmcgaW50ZXJ2YWwNCkJUQy4xLmRldGVybWluaXN0aWMuc2VyaWVzIDwtIGMocmVwKDAsIDIyKSwgQlRDX0RldGVybWluaXN0aWMoQlRDU3RhcnQsIDI2LCBCVENNdSwgQlRDU2lnbWEpLCByZXAoMCwgMjQpKQ0KDQojIFZlY3RvciBvZiBCVEMgZGV0ZXJtaW5pc3RpYyBzZXJpZXMgZm9yIHRoZSBmaW5hbCBtaW5pbmcgaW50ZXJ2YWwNCkJUQy4yLmRldGVybWluaXN0aWMuc2VyaWVzIDwtIGMocmVwKDAsIDIyKSwgQlRDX0RldGVybWluaXN0aWMoQlRDU3RhcnQsIDI2LCBCVENNdSwgQlRDU2lnbWEpLCBCVENfRGV0ZXJtaW5pc3RpYyhCVENTdGFydCwgMjYsIEJUQ011LCBCVENTaWdtYSlbLSgxOjMpXSkNCg0KIyBQbG90IGJvdGggZGV0ZXJtaW5pc3RpYyBzZXJpZXMNCnBsb3QoQlRDLjEuZGV0ZXJtaW5pc3RpYy5zZXJpZXMsIHR5cGU9ImwiLCB4bGFiPSJQZXJpb2QiLCB5bGFiPSJQcmljZS9EaWZmaWN1bHR5IikNCnBsb3QoQlRDLjIuZGV0ZXJtaW5pc3RpYy5zZXJpZXMsIHR5cGU9ImwiLCB4bGFiPSJQZXJpb2QiLCB5bGFiPSJQcmljZS9EaWZmaWN1bHR5IikNCg0KIyBDcmVhdGUgYSBtYXRyaXggZm9yIHN0b2NoYXN0aWMgc2VyaWVzIGZvciB0aGUgZmlyc3QgbWluaW5nIGludGVydmFsDQpCVEMuMS5tYXRyaXggPC0gQlRDX0RpZmZ1c2lvbihCVENTdGFydCwgMjYsIE5TZXJpZXMsIEJUQ011LCBCVENTaWdtYSkNCkJUQy4xLm1hdHJpeCA8LSByYmluZChtYXRyaXgoMCwgbnJvdz0yMiwgbmNvbD1OU2VyaWVzKSwgQlRDLjEubWF0cml4LCBtYXRyaXgoMCwgbnJvdz0yNCwgbmNvbD1OU2VyaWVzKSkNCg0KIyBPYnRhaW4gdGhlIGF2ZXJhZ2UgZm9yIGVhY2ggcGVyaW9kDQpCVEMuMS5wZXJpb2QubWVhbnMgPC0gYXBwbHkoQlRDLjEubWF0cml4LCAxLCBtZWFuKQ0KDQojIFBsb3Qgb25lIHNlcmllcyBvZiB0aGUgc3RvY2hhc3RpYyBtYXRyaXggYWxvbmcgdGhlIGRldGVybWluaXN0aWMgc2VyaWVzIGFuZCB0aGUgdmVjdG9yIG9mIGF2ZXJhZ2VzDQptYXRwbG90KDE6NzMsIGNiaW5kKEJUQy4xLm1hdHJpeFssIDJdLCBCVEMuMS5wZXJpb2QubWVhbnMsIEJUQy4xLmRldGVybWluaXN0aWMuc2VyaWVzKSwgdHlwZT0nbCcsIHhsYWI9J1BlcmlvZHMnLCB5bGFiPSdzZXJpZXMnKQ0KbGVnZW5kKCJ0b3AiLCBpbnNldD0uMDIsIGxlZ2VuZD1jKCJSYW5kb20gU2VyaWVzIiwiTW9udGVDYXJsbyBNZWFuIiwiRGV0ZXJtaW5pc3RpYyBTZXJpZXMiKSxjb2w9YygiYmxhY2siLCAicmVkIiwgImdyZWVuIiksIGx0eT0xOjMsIGNleD0wLjYsIGhvcml6PVRSVUUsIGJ0eT0ibiIpDQoNCiMgQ3JlYXRlIGEgbWF0cml4IGZvciBzdG9jaGFzdGljIHNlcmllcyBmb3IgdGhlIGZpcnN0IG1pbmluZyBpbnRlcnZhbA0KQlRDLjIubWF0cml4IDwtIEJUQ19EaWZmdXNpb24oQlRDU3RhcnQsIDI2LCBOU2VyaWVzLCBCVENNdSwgQlRDU2lnbWEpDQpCVEMuMi5tYXRyaXggPC0gQlRDLjIubWF0cml4Wy1jKDE6MyksIF0NCkJUQy4yLm1hdHJpeCA8LSByYmluZChCVEMuMS5tYXRyaXhbMTo0OSwgXSwgQlRDLjIubWF0cml4KQ0KDQojIE9idGFpbiB0aGUgYXZlcmFnZSBmb3IgZWFjaCBwZXJpb2QNCkJUQy4yLnBlcmlvZC5tZWFucyA8LSBhcHBseShCVEMuMi5tYXRyaXgsIDEsIG1lYW4pIA0KDQojIFBsb3Qgb25lIHNlcmllcyBvZiB0aGUgc3RvY2hhc3RpYyBtYXRyaXggYWxvbmcgdGhlIGRldGVybWluaXN0aWMgc2VyaWVzIGFuZCB0aGUgdmVjdG9yIG9mIGF2ZXJhZ2VzDQptYXRwbG90KDE6NzMsIGNiaW5kKEJUQy4yLm1hdHJpeFssIDJdLCBCVEMuMi5wZXJpb2QubWVhbnMsIEJUQy4yLmRldGVybWluaXN0aWMuc2VyaWVzKSwgdHlwZT0nbCcsIHhsYWI9J1BlcmlvZHMnLCB5bGFiPSdzZXJpZXMnKQ0KbGVnZW5kKCJ0b3AiLCBpbnNldD0uMDIsIGxlZ2VuZD1jKCJSYW5kb20gU2VyaWVzIiwiTW9udGVDYXJsbyBNZWFuIiwiRGV0ZXJtaW5pc3RpYyBTZXJpZXMiKSxjb2w9YygiYmxhY2siLCAicmVkIiwgImdyZWVuIiksIGx0eT0xOjMsIGNleD0wLjYsIGhvcml6PVRSVUUsIGJ0eT0ibiIpDQpgYGANCg0KDQoNCiMjIyBSZXZlbnVlIGFuZCBDYXNoIEZsb3cNCg0KIyMjIyBBdXhpbGlhcnkgdmFyaWFibGVzIGFuZCBjYWxjdWxhdGlvbnMNCg0KYGBge3J9DQojIENyZWF0ZSBhIGxvbmcgdmVjdG9yIG9mIHBvd2VyIHByb2R1Y3Rpb24NCnByb2R1Y3Rpb24uc2VyaWVzIDwtIGMoTkEsIHJlcChwb3dlci5wcm9kdWN0aW9uLCA2KSkNCg0KIyBNb25ldGFyeSByZXN1bHRzIG9mIHByb2R1Y2luZyBlbmVyZ3kgYW5kIHNlbGxpbmcgaW4gUExEDQpQTEQub3V0cHV0IDwtIFBMRC5tYXRyaXhbMjY6NzMsIF0gKiBwcm9kdWN0aW9uLnNlcmllc1syNjo3M10NCg0KIyBTZXQgQlRDIHByb2R1Y3Rpb24gY2FwDQpCVENNYXggPC0gKG51bWJlckJUQ01pbmVycypCVENNaW5lclBvd2VyLzEwMDApL1JlZnJpZyANCg0KIyBBdXhpbGlhcnkgdmFyaWFibGVzIGZvciBjYXAgb24gQlRDIHByb2R1Y3Rpb24NCmNhcHBlZC5wcm9kdWN0aW9uLnNlcmllcyA8LSBwcm9kdWN0aW9uLnNlcmllcw0KY2FwcGVkLnByb2R1Y3Rpb24uc2VyaWVzW3Byb2R1Y3Rpb24uc2VyaWVzID4gQlRDTWF4XSA8LSBCVENNYXgNCg0KIyBNb25ldGFyeSByZXN1bHRzIG9mIHByb2R1Y2luZyBlbmVyZ3ksIGdlbmVyYXRpbmcgQlRDIGFuZCBzZWxsaW5nIGluIHNwb3QgcHJpY2VzIGZvciB0aGUgZmlyc3QgaW50ZXJ2YWwNCkJUQy4xLm91dHB1dCA8LSBCVEMuMS5tYXRyaXhbMjY6NDksIF0gKiBjYXBwZWQucHJvZHVjdGlvbi5zZXJpZXNbMjY6NDldICogUmVmcmlnICogMTAwMA0KQlRDLjEub3V0cHV0IDwtIHJiaW5kKEJUQy4xLm91dHB1dCwgUExELm91dHB1dFsyNTo0OCwgXSkNCg0KIyBNb25ldGFyeSByZXN1bHRzIG9mIHByb2R1Y2luZyBlbmVyZ3ksIGdlbmVyYXRpbmcgQlRDIGFuZCBzZWxsaW5nIGluIHNwb3QgcHJpY2VzIGZvciB0aGUgZmluYWwgaW50ZXJ2YWwNCkJUQy4yLm91dHB1dCA8LSBCVEMuMi5tYXRyaXhbMjY6NzMsIF0gKiBjYXBwZWQucHJvZHVjdGlvbi5zZXJpZXNbMjY6NzNdICogUmVmcmlnICogMTAwMA0KDQojIEVsZWN0cmljaXR5IHRoYXQgaGFzIG5vdCBiZWVuIHVzZWQgZm9yIEJUQyBtaW5pbmcgZHVlIHRvIHByb2R1Y3Rpb24gY2FwIGNhbiBiZSBzb2xkIGF0IFBMRA0KZXh0cmEucHJvZHVjdGlvbi5zZXJpZXMgPC0gcHJvZHVjdGlvbi5zZXJpZXMgLSBjYXBwZWQucHJvZHVjdGlvbi5zZXJpZXMNCmV4dHJhLm91dHB1dC4yIDwtIFBMRC5tYXRyaXhbMjY6NzMsIF0gKiBleHRyYS5wcm9kdWN0aW9uLnNlcmllc1syNjo3M10NCmV4dHJhLm91dHB1dC4xIDwtIHJiaW5kKGV4dHJhLm91dHB1dC4yWzE6MjQsIF0sIG1hdHJpeCgwLCBucm93PTI0LCBuY29sPU5TZXJpZXMpKQ0KQlRDLjEub3V0cHV0IDwtIEJUQy4xLm91dHB1dCArIGV4dHJhLm91dHB1dC4xDQpCVEMuMi5vdXRwdXQgPC0gQlRDLjIub3V0cHV0ICsgZXh0cmEub3V0cHV0LjINCmBgYA0KDQoNCiMjIyMgUHJvamVjdCBDYXNoIEZsb3cgLSB3aXRob3V0IGludmVzdG1lbnQgY29zdHMNCg0KYGBge3J9DQojIyBDYXNoIEZsb3cgUmVzdWx0cyAjIw0KDQpQTEQuY2FzaGZsb3cgPC0gUF9hbmRfTChQTEQub3V0cHV0LCBQTEQub3V0cHV0KlZhcmlhYmxlQ29zdHMsIEZpeGVkQ29zdHMsIFRheGVzLCAwICwgVFJVRSkNClBMRC5jYXNoZmxvdyA8LSByYmluZChtYXRyaXgoMCwgbnJvdz0yNSwgbmNvbD1uY29sKFBMRC5jYXNoZmxvdykpLCBQTEQuY2FzaGZsb3cpDQoNCkJUQy4xLmNhc2hmbG93IDwtIFBfYW5kX0woQlRDLjEub3V0cHV0LCBQTEQub3V0cHV0KlZhcmlhYmxlQ29zdHMsIEZpeGVkQ29zdHMsIFRheGVzLCAwLCBUUlVFKQ0KQlRDLjEuY2FzaGZsb3cgPC0gcmJpbmQobWF0cml4KDAsIG5yb3c9MjUsIG5jb2w9bmNvbChCVEMuMS5jYXNoZmxvdykpLCBCVEMuMS5jYXNoZmxvdykNCkJUQy4xLmNhc2hmbG93IDwtIHNlbGVjdF9ncmVhdGVyKFBMRC5jYXNoZmxvdywgQlRDLjEuY2FzaGZsb3cpDQoNCkJUQy4yLmNhc2hmbG93IDwtIFBfYW5kX0woQlRDLjIub3V0cHV0LCBQTEQub3V0cHV0KlZhcmlhYmxlQ29zdHMsIEZpeGVkQ29zdHMsIFRheGVzLCAwLCBUUlVFKQ0KQlRDLjIuY2FzaGZsb3cgPC0gcmJpbmQobWF0cml4KDAsIG5yb3c9MjUsIG5jb2w9bmNvbChCVEMuMi5jYXNoZmxvdykpLCBCVEMuMi5jYXNoZmxvdykNCkJUQy4yLmNhc2hmbG93IDwtIHNlbGVjdF9ncmVhdGVyKFBMRC5jYXNoZmxvdywgQlRDLjIuY2FzaGZsb3cpDQoNClBMRC5tZWFuLmNhc2hmbG93IDwtIGFwcGx5KFBMRC5jYXNoZmxvdywgMSwgbWVhbikNCkJUQy4xLm1lYW4uY2FzaGZsb3cgPC0gYXBwbHkoQlRDLjEuY2FzaGZsb3csIDEsIG1lYW4pDQpCVEMuMi5tZWFuLmNhc2hmbG93IDwtIGFwcGx5KEJUQy4yLmNhc2hmbG93LCAxLCBtZWFuKQ0KYGBgDQoNCiMjIyMgQ2FzaGZsb3cgY2hhcnRzDQoNCmBgYHtyfQ0KIyBTZWxlY3Qgb25lIHNwZWNpZmljIHNlcmllcyB0byBiZSBwbG90dGVkDQppID0gNA0KDQptYXRwbG90KDE6NzMsIGNiaW5kKFBMRC5jYXNoZmxvd1ssIGldLCBCVEMuMS5jYXNoZmxvd1ssIGldLCBCVEMuMi5jYXNoZmxvd1ssIGldKSwgdHlwZT0nbCcsIHhsYWI9J1BlcmlvZHMnLCB5bGFiPSdzZXJpZXMnKQ0KbGVnZW5kKCJ0b3BsZWZ0IiwgaW5zZXQ9LjEsIGxlZ2VuZD1jKCJQTEQiLCJCVEMyIiwiQlRDMisyIiksY29sPWMoImJsYWNrIiwgInJlZCIsICJncmVlbiIpLCBsdHk9MTozLCBjZXg9MC42LCBob3Jpej1UUlVFLCBidHk9Im4iLCB0aXRsZT1wYXN0ZSgiTW9udGVDYXJsbyBTZXJpZXMiLGkpKQ0KYGBgDQoNCmBgYHtyfQ0KIyBQbG90IGF2ZXJhZ2VzDQptYXRwbG90KDE6NzMsIGNiaW5kKFBMRC5tZWFuLmNhc2hmbG93LCBCVEMuMS5tZWFuLmNhc2hmbG93LCBCVEMuMi5tZWFuLmNhc2hmbG93KSwgdHlwZT0nbCcsIHhsYWI9J1BlcmlvZHMnLCB5bGFiPSdzZXJpZXMnKQ0KbGVnZW5kKCJ0b3BsZWZ0IiwgaW5zZXQ9LjA4LCBsZWdlbmQ9YygiUExEIiwiQlRDMiIsIkJUQzIrMiIpLGNvbD1jKCJibGFjayIsICJyZWQiLCAiZ3JlZW4iKSwgbHR5PTE6MywgY2V4PTAuNiwgaG9yaXo9VFJVRSwgYnR5PSJuIiwgdGl0bGU9Ik1vbnRlQ2FybG8gQXZlcmFnZXMiKQ0KYGBgDQoNCg0KIyMjIFByb2plY3QgTlBWDQoNCmBgYHtyfQ0KIyMgUHJvamVjdCBOUFYgZm9yIGVhY2ggc2NlbmFyaW8gIyMNCg0KIyBDYWxjdWxhdGUgbW9udGhseSByYXRlDQpSRk1vbnRobHkgPC0gKDErUkYpXigwLjA4MzMzMzMzMzMzMzMzMzMpLTENCldBQ0NNb250aGx5IDwtICgxK1dBQ0MpXigwLjA4MzMzMzMzMzMzMzMzMzMpLTENCg0KIyBJbnZlc3RtZW50IGZvciBCVEMgbWluaW5nIGluIGJvdGggZmlyc3QgYW5kIGZpbmFsIGludGVydmFsDQpCVENJbnZlc3RtZW50LjEgPC0gbnVtYmVyQlRDTWluZXJzKkJUQ01pbmVyQ29zdCooKDErUkZNb250aGx5KS8oMStXQUNDTW9udGhseSkpXjIyDQpCVENJbnZlc3RtZW50LjIgPC0gbnVtYmVyQlRDTWluZXJzKkJUQ01pbmVyQ29zdCooKDErUkZNb250aGx5KS8oMStXQUNDTW9udGhseSkpXjQ2DQoNCiMgRHVwbGljYXRlIGRhdGEgc2V0IHRvIGFsbG93IGZvciBzdGFnZSBkZWJ1Z2dpbmcgLSBtYXkgY29zdCBtZW1vcnkNCk5QVi5QTEQuY2FzaGZsb3cgPC0gUExELmNhc2hmbG93DQojIEluc2VydCBpbnZlc3RtZW50IGluIGNhc2ggZmxvdw0KTlBWLlBMRC5jYXNoZmxvd1sxLCBdIDwtIE5QVi5QTEQuY2FzaGZsb3dbMSwgXS1Jbml0aWFsSW52ZXN0bWVudA0KIyBPYnRhaW4gTlBWDQpOUFYuUExEIDwtIGFwcGx5KE5QVi5QTEQuY2FzaGZsb3csIDIsIG5wdiwgcj1SRk1vbnRobHkpDQoNCiMgRHVwbGljYXRlIGRhdGEgc2V0IHRvIGFsbG93IGZvciBzdGFnZSBkZWJ1Z2dpbmcgLSBtYXkgY29zdCBtZW1vcnkNCk5QVi5CVEMuMS5jYXNoZmxvdyA8LSBCVEMuMS5jYXNoZmxvdw0KIyBJbnNlcnQgaW52ZXN0bWVudHMgaW4gY2FzaCBmbG93DQpOUFYuQlRDLjEuY2FzaGZsb3dbMSwgXSA8LSBOUFYuQlRDLjEuY2FzaGZsb3dbMSwgXS1Jbml0aWFsSW52ZXN0bWVudA0KTlBWLkJUQy4xLmNhc2hmbG93WzIzLCBdIDwtIE5QVi5CVEMuMS5jYXNoZmxvd1syMywgXS1CVENJbnZlc3RtZW50LjENCiMgT2J0YWluIE5QVg0KTlBWLkJUQy4xIDwtIGFwcGx5KE5QVi5CVEMuMS5jYXNoZmxvdywgMiwgbnB2LCByPVJGTW9udGhseSkNCg0KIyBEdXBsaWNhdGUgZGF0YSBzZXQgdG8gYWxsb3cgZm9yIHN0YWdlIGRlYnVnZ2luZyAtIG1heSBjb3N0IG1lbW9yeQ0KTlBWLkJUQy4yLmNhc2hmbG93IDwtIEJUQy4yLmNhc2hmbG93DQojIEluc2VydCBpbnZlc3RtZW50cyBpbiBjYXNoIGZsb3cNCk5QVi5CVEMuMi5jYXNoZmxvd1sxLCBdIDwtIE5QVi5CVEMuMi5jYXNoZmxvd1sxLCBdLUluaXRpYWxJbnZlc3RtZW50DQpOUFYuQlRDLjIuY2FzaGZsb3dbMjMsIF0gPC0gTlBWLkJUQy4yLmNhc2hmbG93WzIzLCBdLUJUQ0ludmVzdG1lbnQuMQ0KTlBWLkJUQy4yLmNhc2hmbG93WzQ3LCBdIDwtIE5QVi5CVEMuMi5jYXNoZmxvd1s0NywgXS1CVENJbnZlc3RtZW50LjINCiMgT2J0YWluIE5QVg0KTlBWLkJUQy4yIDwtIGFwcGx5KE5QVi5CVEMuMi5jYXNoZmxvdywgMiwgbnB2LCByPVJGTW9udGhseSkNCg0KYGBgDQoNCg0KIyMjIERpc3BsYXlpbmcgUmVzdWx0cw0KDQojIyMjIEJhc2UgU2NlbmFyaW8gUmVzdWx0cw0KDQpgYGB7cn0NCnJlc3VsdHMubWF0cml4LlBMRCA9IGNyZWF0ZV9yZXN1bHRzX3RhYmxlKE5QVi5QTEQsICJCYXNlIikNCmthYmxlKHJlc3VsdHMubWF0cml4LlBMRCkNCmBgYA0KDQpgYGB7cn0NCg0KIyMgQ2hhcnQgIyMNClBMRC5oaXN0IDwtIGNyZWF0ZV9yZXN1bHRzX2hpc3QoTlBWLlBMRCwgMC42MjUsIGMoLTEwLDMwKSwgMy41LCAwLjAwMiwgLTAuMDAzNiwgMC4wMDgsIDgsIDYpDQoNCmBgYA0KDQojIyMjIEZpcnN0IFNjZW5hcmlvIFJlc3VsdHMNCg0KYGBge3J9DQpyZXN1bHRzLm1hdHJpeC5CVEMuMSA9IGNyZWF0ZV9yZXN1bHRzX3RhYmxlKE5QVi5CVEMuMSwgIjIgWWVhcnMiLCBOUFYuUExEKQ0Ka2FibGUocmVzdWx0cy5tYXRyaXguQlRDLjEpDQpgYGANCg0KYGBge3J9DQojIyBDaGFydCAjIw0KQlRDLjEuaGlzdCA8LSBjcmVhdGVfcmVzdWx0c19oaXN0KE5QVi5CVEMuMSwgMC42MjUsIGMoLTEwLDMwKSwgMy41LCAwLjAwMiwgLTAuMDAyMiwgMC4wMDQsIDgsIDYpDQoNCmBgYA0KDQojIyMjIFNlY29uZCBTY2VuYXJpbyBSZXN1bHRzDQoNCmBgYHtyfQ0KcmVzdWx0cy5tYXRyaXguQlRDLjIgPSBjcmVhdGVfcmVzdWx0c190YWJsZShOUFYuQlRDLjIsICIyKzIgWWVhcnMiLCBOUFYuUExEKQ0Ka2FibGUocmVzdWx0cy5tYXRyaXguQlRDLjIpDQpgYGANCg0KYGBge3J9DQoNCiMjIENoYXJ0ICMjDQpCVEMuMi5oaXN0IDwtIGNyZWF0ZV9yZXN1bHRzX2hpc3QoTlBWLkJUQy4yLCAwLjYyNSwgYygtMTAsMzApLCAzLjUsIDAuMDAyLCAtMC4wMDE3LCAwLjAwNCwgOCwgNikNCg0KYGBgDQoNCg0KIyMjIEFnZ3JlZ2F0ZWQgUmVzdWx0cw0KDQpgYGB7cn0NCmthYmxlKHJiaW5kKHJlc3VsdHMubWF0cml4LlBMRCwgcmVzdWx0cy5tYXRyaXguQlRDLjEsIHJlc3VsdHMubWF0cml4LkJUQy4yKSwgY2FwdGlvbj0iVGFibGUgb2YgUmVzdWx0cyIpDQpgYGANCg0KDQo=